normalization theorem

正规化定理